$\forall$$T$:Type, $A$, $B$:($T$ List). ($A$ = $B$) $\Rightarrow$ $A$ $\subseteq$ $B$